Tootfinder

Formal methods folks: reminder that FM 2024 has a TUTORIAL track. I'm co-editing. We have a GREAT set of reviewers to give you high-quality feedback: we want quality pedagogical work to be respected! Please spread the word! Deadline 19 April.
https://www.fm24.polimi.it/?page_id=310<…

Huawei releases its Pura 70 series, available for ~$760 to ~$1,380; reviewers show high-end models have a Kirin 9010 chip, an update to the Mate 60 Pro's 9000s (Bloomberg)
https://www.bloomberg.com/news/articles/20

Huawei Unveils New Phone Lineup to Ramp Up the Pressure on Apple
Huawei Technologies Co. released its latest series of smartphones on Thursday, sustaining its momentum after the breakthrough Mate 60 device helped erode Apple Inc.’s dominance in China’s high-end segment.